ISBN
.nu
search for books and compare prices
Words in title
Author
ISBN
Search
Advanced search
displaying 1 to 2 | at end
Roland C. Backhouse
(5)
Works include:
Generic Programming: Advanced Lectures
;
Program Construction: Calculating Implementations from Specifications
;
Mathematics of Program Construction: 5th International Conference, Mpc 200, Ponte De Lima, Portugal, July 200 : Proceedings
and
Program Construction and Verification
Roland Backhouse
(3)
Works include:
Algorithmic Problem Solving
and
Datatype-generic Programming: International Spring School, Ssdgp 2006, Nottingham, Uk, April 24-27, 2006, Revised Lectures
displaying 1 to 2 | at end